#!/bin/sh

exec /usr/bin/gdb -tui "$@"

